- 逻辑断言
- logical: adj. 1.逻辑的，逻辑上的；逻辑学上的。 2.合乎逻 ...
- assertion: n. 1.主张，断言，确言。 2.维护，坚持。 短语和例 ...
- assertion: n. 1.主张，断言，确言。 2.维护，坚持。 stand to one's assertion 坚持己见。
- arbitrary assertion: 武断, 任意断定
- assertion checker: 断言检查程序
下载手机词典可随时随地查词查翻译
logical assertion中文什么意思
- 逻辑断言
下载手机词典可随时随地查词查翻译
百科释义
A logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent.
详细百科解释